航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

Far-UVC light as a new tool to reduce microbial burden during spacecraft assembly

This work aims to investigate far-UVC light at 222 nm as a new microbial reduction tool for planetary protection purposes which could potentially be integrated into the spacecraft assembly process. The major advantage of far-UVC (222 nm) compared to traditional germicidal UVC (254 nm) is the potential for application throughout the spacecraft assembly process in the presence of humans without adverse health effects due to the limited penetration of far-UVC light into biological materials. Testing the efficacy of 222-nm light at inactivating hardy bacterial cells and spores isolated from spacecraft and associated surfaces is a necessary step to evaluate this technology. We assessed survival of Bacillus pumilus SAFR-032 and Acinetobacter radioresistens 50v1 exposed to 222-nm light on proxy spacecraft surfaces simulated by drying the bacteria on aluminum coupons. The survival fraction of both bacteria followed a single stage decay function up to 60 mJ/cm², revealing similar susceptibility of both species to 222-nm light, which was independent of the exposure rate. Irradiation with far-UVC light at 222 nm is an effective method to decontaminate the proxy spacecraft materials tested in this study.     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架，它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先，本文介绍了联邦学习的基本概念和威胁模型，有助于理解其面临的攻击。其次，本文总结了由内部恶意实体发起的3种攻击类型，同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较，进一步讨论了该领域未来的发展方向。     

酚醛树脂基纳米多孔材料的制备及结构调控

酚醛树脂基纳米多孔材料（Phenolic Resin-based Nanoporous Materials，PNM）是满足新一代航天飞行器轻质、高效隔热需求的新型热防护材料，传统制备方法中需使用超临界干燥技术，制备周期长、成本高。本研究通过两步法，即先合成线性酚醛树脂，再进行溶胶-凝胶的方法，实现了常压干燥PNM的制备。系统研究了固化剂含量、固化温度和固化时间对材料结构的影响和调控作用，分析了影响材料收缩率和热稳定性的因素。结果表明，PNM的微观纳米结构的变化会影响材料干燥后的收缩率，制备大颗粒、大孔径的微观结构更有利于降低材料的收缩率。而PNM的热稳定性主要受交联反应过程形成的化学结构的影响，通过优化固化剂的含量可提高PNM的热稳定性。当固化剂含量为10%，固化温度提高至150℃，固化时间延长至48 h的条件下，获得的PNM有最高的热稳定性（900℃下的残碳率为54.2%）、最发达的孔结构（比表面积为264.0 m²/g、孔容为2.67 cm³/g、平均孔径为40.0 nm）和最小的收缩率（0%）。此PNM制备方法简单、性能优异，在未来航天飞行器上有广阔的应用前景。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.     

一种基于虚拟页地址映射的NAND Flash管理算法

本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构，以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法，实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法，能高效地对数据进行索引，占用SRAM空间较少，使系统达到高性能，并使得闪存使用的更加稳定持久.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

关于CCSDS体制数据安全保护实施位置的探讨

主要阐述CCSDS（空间数据系统咨询委员会）标准的信息安全问题，重点是航天器安全，从分析空间数据面临的安全威胁出发，讨论了CCSDS不同安全实施位置的特点；并在此基础上，通过对CCSDS业务及数据结构的影响对比，总结出不同安全实施方法的优缺点，该结合对于采用CCSDS标准的空间数据系统如何解决信息安全问题，具有一定的参考价值。     

数字多用表自动检定校准系统

本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计 ,并对系统软件的设计方法 ,主要功能及主要特色进行了讨论。